131![Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2](https://www.pdfsearch.io/img/d19a7fabaaf7df8b38f4060e01d0f239.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-09-19 03:03:42
|
---|
132![Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL](https://www.pdfsearch.io/img/cdb32453a897649f2cf4301ff5c56f37.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-12-12 08:40:38
|
---|
133![Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2](https://www.pdfsearch.io/img/73b0266454bdc49cfdd36cbe35ab7f04.jpg) | Add to Reading ListSource URL: www.cri.ensmp.frLanguage: English - Date: 2014-12-19 09:00:24
|
---|
134![Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2](https://www.pdfsearch.io/img/5b8d8553df44a800c3745c69eca1291c.jpg) | Add to Reading ListSource URL: bware.lri.frLanguage: English - Date: 2014-09-27 11:09:54
|
---|
135![](https://www.pdfsearch.io/img/43018e618ad9a4b95af633fc34dacb48.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-08-27 06:04:04
|
---|
136![Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis](https://www.pdfsearch.io/img/f236a4f7ed1fedae09f92ae6f742b83a.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:27:02
|
---|
137![Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under](https://www.pdfsearch.io/img/50e05c1040ff746d3273f5bf22477c19.jpg) | Add to Reading ListSource URL: www.vpri.orgLanguage: English - Date: 2015-01-21 19:14:21
|
---|
138![Cooperating Solvers vs. Cooperating Languages Alan Borning This material is based upon work supported in part by the National Science Foundation under Cooperating Solvers vs. Cooperating Languages Alan Borning This material is based upon work supported in part by the National Science Foundation under](https://www.pdfsearch.io/img/38571ef2caf116d847cc5bc318a29455.jpg) | Add to Reading ListSource URL: www.vpri.orgLanguage: English - Date: 2015-01-21 19:12:51
|
---|
139![TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany](https://www.pdfsearch.io/img/4bc987a46159b517e62e05e3489ebdd3.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
140![Program Termination analysis using MAX-SMT∗ Daniel Larraz1 , Albert Oliveras1 , Enric Rodríguez-Carbonell1 , and Albert Rubio1 1 Universitat Politècnica de Catalunya, Barcelona, Spain Program Termination analysis using MAX-SMT∗ Daniel Larraz1 , Albert Oliveras1 , Enric Rodríguez-Carbonell1 , and Albert Rubio1 1 Universitat Politècnica de Catalunya, Barcelona, Spain](https://www.pdfsearch.io/img/aecba923b7ddbcdab629df0f0ed55e3c.jpg) | Add to Reading ListSource URL: www.imn.htwk-leipzig.deLanguage: English - Date: 2013-08-26 10:13:14
|
---|